"Leucker M." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

Категория: Компьютеры

4.36 Mb

#2

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Martin Leucker, Charles Carroll Morgan

Категория: Компьютеры

4.34 Mb

#3

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Категория: Техника

3.48 Mb

#4

Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

Категория: CsLn_

5.87 Mb

#5

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Leucker M.

224 Kb

#6

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

5.92 Mb